$\forall$$a$, $b$:$\mathbb{Z}$. CoPrime($a$,$b$) $\Leftrightarrow$ (gcd($a$;$b$) $\sim$ 1)